Stichworte: Definitional formula statistics